Formal analysis

Results: 1589



#Item
31

Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events David Garlan Carnegie Mellon University, Pittsburgh PA 15213, USA,

Add to Reading List

Source URL: wiki.di.uminho.pt

- Date: 2011-12-08 14:37:17
    32

    Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

    Add to Reading List

    Source URL: nigam.info

    - Date: 2016-05-07 12:12:43
      33

      Analyzing inheritance hierarchies through Formal Concept Analysis A 22-years walk in a landscape of conceptual structures Marianne Huchard LIRMM (CNRS et Universit´e de Montpellier), 161 rue Ada, 34095 Montpellier Cedex

      Add to Reading List

      Source URL: www.lirmm.fr

        34

        Formal Analysis of PKCS#11∗ St´ephanie Delaune, Steve Kremer and Graham Steel LSV, CNRS & INRIA & ENS de Cachan 61, avenue du Pr´esident WilsonCACHAN Cedex, FRANCE

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2008-04-23 06:56:19
          35

          Seventh International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE) April 3, 2016, Eindhoven, The Netherlands co-located with ETAPS 2016

          Add to Reading List

          Source URL: www.isf.cs.tu-bs.de

          - Date: 2015-11-16 17:17:21
            36

            Identifying and Validating Ontology Mappings by Formal Concept Analysis Mengyi Zhao1 and Songmao Zhang2 1,2 Institute of Mathematics, Academy of Mathematics and Systems Science,

            Add to Reading List

            Source URL: disi.unitn.it

            - Date: 2016-09-05 09:56:52
              37

              R. Carnap – Meaning and Synonymy in Natural Languages Philosophical Analysis – Giuliano Torrengo November 24, 2014 Meaning Analysis • Natural Languages (“pragmatics”) and Formal Languages (“pure

              Add to Reading List

              Source URL: dl.dropboxusercontent.com

                38

                An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis Jiacun Wang, Daniela Rosca, William Tepfenhart, Allen Milewski, Michael Stoute Department of Software Engineering

                Add to Reading List

                Source URL: bpm2005.loria.fr

                - Date: 2005-09-12 10:45:00
                  39

                  On succinct representation of knowledge community taxonomies with formal concept analysis Camille Roth∗, Sergei Obiedkov†, and Derrick G. Kourie† Electronic version of an article published as International Journal

                  Add to Reading List

                  Source URL: camille.roth.free.fr

                  - Date: 2008-04-19 09:34:57
                    UPDATE